-- BP 7.1.6 content: InstanceStateMachine syschar: 3 persistence-version: 7.1.6

INSERT INTO SM_ISM
	VALUES ("637cc748-aff7-46fe-9657-806dd1c89827",
	"00109784-3c75-4ab1-8d11-3e04474ce7e2");
INSERT INTO SM_SM
	VALUES ("637cc748-aff7-46fe-9657-806dd1c89827",
	'',
	0);
INSERT INTO SM_MOORE
	VALUES ("637cc748-aff7-46fe-9657-806dd1c89827");
INSERT INTO SM_LEVT
	VALUES ("30bf8491-a53d-4705-9540-790ff3abd1d3",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEVT
	VALUES ("30bf8491-a53d-4705-9540-790ff3abd1d3",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_EVT
	VALUES ("30bf8491-a53d-4705-9540-790ff3abd1d3",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000",
	1,
	'create',
	0,
	'',
	'TIMD1',
	'');
INSERT INTO SM_LEVT
	VALUES ("eee54e0a-fa8e-406f-ab45-d1b591db8852",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEVT
	VALUES ("eee54e0a-fa8e-406f-ab45-d1b591db8852",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_EVT
	VALUES ("eee54e0a-fa8e-406f-ab45-d1b591db8852",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000",
	2,
	'destroy',
	0,
	'',
	'TIMD2',
	'');
INSERT INTO SM_STATE
	VALUES ("ae9dcc93-f17b-47db-9295-d2d8f9dd4745",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000",
	'Creating',
	1,
	0);
INSERT INTO SM_CH
	VALUES ("ae9dcc93-f17b-47db-9295-d2d8f9dd4745",
	"30bf8491-a53d-4705-9540-790ff3abd1d3",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("ae9dcc93-f17b-47db-9295-d2d8f9dd4745",
	"30bf8491-a53d-4705-9540-790ff3abd1d3",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEME
	VALUES ("ae9dcc93-f17b-47db-9295-d2d8f9dd4745",
	"eee54e0a-fa8e-406f-ab45-d1b591db8852",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_STATE
	VALUES ("55535578-4228-4a12-a482-c4cfa1f8292c",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000",
	'Destroying',
	2,
	1);
INSERT INTO SM_CH
	VALUES ("55535578-4228-4a12-a482-c4cfa1f8292c",
	"30bf8491-a53d-4705-9540-790ff3abd1d3",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("55535578-4228-4a12-a482-c4cfa1f8292c",
	"30bf8491-a53d-4705-9540-790ff3abd1d3",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_CH
	VALUES ("55535578-4228-4a12-a482-c4cfa1f8292c",
	"eee54e0a-fa8e-406f-ab45-d1b591db8852",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("55535578-4228-4a12-a482-c4cfa1f8292c",
	"eee54e0a-fa8e-406f-ab45-d1b591db8852",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_CRTXN
	VALUES ("8cf5444a-b5e3-4c6e-9dc0-afc00eed2265",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"30bf8491-a53d-4705-9540-790ff3abd1d3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_TXN
	VALUES ("8cf5444a-b5e3-4c6e-9dc0-afc00eed2265",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"ae9dcc93-f17b-47db-9295-d2d8f9dd4745",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_NSTXN
	VALUES ("4c1b8580-3455-48a2-bee5-9f2a32c7932a",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"ae9dcc93-f17b-47db-9295-d2d8f9dd4745",
	"eee54e0a-fa8e-406f-ab45-d1b591db8852",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_TXN
	VALUES ("4c1b8580-3455-48a2-bee5-9f2a32c7932a",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"55535578-4228-4a12-a482-c4cfa1f8292c",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_MOAH
	VALUES ("f7733160-b3ae-4d41-8c40-4509030eab23",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"ae9dcc93-f17b-47db-9295-d2d8f9dd4745");
INSERT INTO SM_AH
	VALUES ("f7733160-b3ae-4d41-8c40-4509030eab23",
	"637cc748-aff7-46fe-9657-806dd1c89827");
INSERT INTO SM_ACT
	VALUES ("f7733160-b3ae-4d41-8c40-4509030eab23",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	1,
	'// Only create if type doesn''t exist
select many timds from instances of TIMD;
if (cardinality timds == 1)
   create object instance type of TYPE;
   create object instance core of CORE;
   relate type to core across R401;
   type.name = "time";
   core.type = data_t::TIME;
   relate core to self across R403;
   self.generateSupportedOperators();
else
   LOG::LogFailure(message:"Multiple creation of TIMD attempted!");
   generate TIMD2:destroy to self;
end if;',
	'',
	0);
INSERT INTO SM_TAH
	VALUES ("dbc10b5e-5759-4eda-bbd0-c11e69128237",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"8cf5444a-b5e3-4c6e-9dc0-afc00eed2265");
INSERT INTO SM_AH
	VALUES ("dbc10b5e-5759-4eda-bbd0-c11e69128237",
	"637cc748-aff7-46fe-9657-806dd1c89827");
INSERT INTO SM_ACT
	VALUES ("dbc10b5e-5759-4eda-bbd0-c11e69128237",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	1,
	'',
	'',
	0);
INSERT INTO SM_MOAH
	VALUES ("1faef732-81c1-4557-8399-a965f47d9aa9",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"55535578-4228-4a12-a482-c4cfa1f8292c");
INSERT INTO SM_AH
	VALUES ("1faef732-81c1-4557-8399-a965f47d9aa9",
	"637cc748-aff7-46fe-9657-806dd1c89827");
INSERT INTO SM_ACT
	VALUES ("1faef732-81c1-4557-8399-a965f47d9aa9",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	1,
	'select one core related by self->CORE[R403];
if (not empty core)
  core.destroy();
  unrelate core from self across R403;
  delete object instance core;
end if;',
	'',
	0);
INSERT INTO SM_TAH
	VALUES ("3eff0379-51bb-409d-b473-85176aea3aba",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	"4c1b8580-3455-48a2-bee5-9f2a32c7932a");
INSERT INTO SM_AH
	VALUES ("3eff0379-51bb-409d-b473-85176aea3aba",
	"637cc748-aff7-46fe-9657-806dd1c89827");
INSERT INTO SM_ACT
	VALUES ("3eff0379-51bb-409d-b473-85176aea3aba",
	"637cc748-aff7-46fe-9657-806dd1c89827",
	1,
	'',
	'',
	0);
INSERT INTO GD_MD
	VALUES ("78d17c19-d7ad-4b27-9d92-62905a59d323",
	8,
	"637cc748-aff7-46fe-9657-806dd1c89827",
	40,
	0,
	0,
	1,
	1,
	1,
	12,
	1,
	0,
	0,
	0,
	0,
	0,
	'4.1.17',
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Time::Instance State Machine');
INSERT INTO GD_GE
	VALUES ("0ef9d587-46c4-4be1-b9a8-1f71744ed631",
	"78d17c19-d7ad-4b27-9d92-62905a59d323",
	"ae9dcc93-f17b-47db-9295-d2d8f9dd4745",
	41,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Time::Instance State Machine::Creating');
INSERT INTO GD_SHP
	VALUES ("0ef9d587-46c4-4be1-b9a8-1f71744ed631");
INSERT INTO GD_NCS
	VALUES ("0ef9d587-46c4-4be1-b9a8-1f71744ed631");
INSERT INTO DIM_ND
	VALUES (169.000000,
	97.000000,
	"0ef9d587-46c4-4be1-b9a8-1f71744ed631");
INSERT INTO DIM_GE
	VALUES (4436.000000,
	3167.000000,
	"0ef9d587-46c4-4be1-b9a8-1f71744ed631",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("0ef9d587-46c4-4be1-b9a8-1f71744ed631",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_CON
	VALUES ("2ad9d330-3542-4278-97a2-95a451617999",
	4506.000000,
	3167.000000,
	"0ef9d587-46c4-4be1-b9a8-1f71744ed631");
INSERT INTO DIM_CON
	VALUES ("4bd397dd-1619-450c-a2c0-02466fcd2135",
	4488.000000,
	3205.000000,
	"0ef9d587-46c4-4be1-b9a8-1f71744ed631");
INSERT INTO DIM_CON
	VALUES ("e742cea3-ada7-4691-939c-ca359afe1088",
	4518.000000,
	3264.000000,
	"0ef9d587-46c4-4be1-b9a8-1f71744ed631");
INSERT INTO GD_GE
	VALUES ("18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	"78d17c19-d7ad-4b27-9d92-62905a59d323",
	"8cf5444a-b5e3-4c6e-9dc0-afc00eed2265",
	49,
	0,
	'TIMD1: create');
INSERT INTO GD_CON
	VALUES ("18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("1350de8e-52fd-4e84-94f8-b07e85b6782c",
	"18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	0,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"1350de8e-52fd-4e84-94f8-b07e85b6782c");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"1350de8e-52fd-4e84-94f8-b07e85b6782c",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("1350de8e-52fd-4e84-94f8-b07e85b6782c",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("13f3a8ab-b3e7-4288-972b-356e750153b7",
	"18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	2,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"13f3a8ab-b3e7-4288-972b-356e750153b7");
INSERT INTO DIM_GE
	VALUES (4328.000000,
	3118.000000,
	"13f3a8ab-b3e7-4288-972b-356e750153b7",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("13f3a8ab-b3e7-4288-972b-356e750153b7",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("4a44e704-f806-47ec-bd37-b42b0edaf291",
	"18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	1,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"4a44e704-f806-47ec-bd37-b42b0edaf291");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"4a44e704-f806-47ec-bd37-b42b0edaf291",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("4a44e704-f806-47ec-bd37-b42b0edaf291",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_LS
	VALUES ("108bcf4e-bcef-4436-ba77-2e1371065b75",
	"18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	"00000000-0000-0000-0000-000000000000",
	"a8454dcc-8de4-4815-893a-32441decad70",
	"e6c34116-03c4-4ddf-ab77-cd7af52994fc");
INSERT INTO DIM_WAY
	VALUES ("a8454dcc-8de4-4815-893a-32441decad70",
	4506.000000,
	3167.000000,
	"18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	"00000000-0000-0000-0000-000000000000",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_WAY
	VALUES ("e6c34116-03c4-4ddf-ab77-cd7af52994fc",
	4506.000000,
	3083.000000,
	"18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	"00000000-0000-0000-0000-000000000000",
	"a8454dcc-8de4-4815-893a-32441decad70");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("18d4dffd-c2dc-441c-a61d-0e66d76c2941",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ED
	VALUES ("2ad9d330-3542-4278-97a2-95a451617999",
	"00000000-0000-0000-0000-000000000000",
	"18d4dffd-c2dc-441c-a61d-0e66d76c2941");
INSERT INTO GD_GE
	VALUES ("b1cac6a6-8068-4edd-a4d1-195a78f484e9",
	"78d17c19-d7ad-4b27-9d92-62905a59d323",
	"55535578-4228-4a12-a482-c4cfa1f8292c",
	41,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Time::Instance State Machine::Destroying');
INSERT INTO GD_SHP
	VALUES ("b1cac6a6-8068-4edd-a4d1-195a78f484e9");
INSERT INTO GD_NCS
	VALUES ("b1cac6a6-8068-4edd-a4d1-195a78f484e9");
INSERT INTO DIM_ND
	VALUES (180.000000,
	84.000000,
	"b1cac6a6-8068-4edd-a4d1-195a78f484e9");
INSERT INTO DIM_GE
	VALUES (4436.000000,
	3347.000000,
	"b1cac6a6-8068-4edd-a4d1-195a78f484e9",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("b1cac6a6-8068-4edd-a4d1-195a78f484e9",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_CON
	VALUES ("d4170de5-33dc-4e87-bfa1-b06f42d9e900",
	4518.000000,
	3347.000000,
	"b1cac6a6-8068-4edd-a4d1-195a78f484e9");
INSERT INTO GD_GE
	VALUES ("ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	"78d17c19-d7ad-4b27-9d92-62905a59d323",
	"4c1b8580-3455-48a2-bee5-9f2a32c7932a",
	42,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Time::Instance State Machine::Creating::TIMD2: destroy');
INSERT INTO GD_CON
	VALUES ("ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("075ca3ba-999e-46e3-9180-db63af7f6d2f",
	"ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	0,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"075ca3ba-999e-46e3-9180-db63af7f6d2f");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"075ca3ba-999e-46e3-9180-db63af7f6d2f",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("075ca3ba-999e-46e3-9180-db63af7f6d2f",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("ef0dd2d6-22d3-4faf-a07d-21de8bb191be",
	"ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	2,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"ef0dd2d6-22d3-4faf-a07d-21de8bb191be");
INSERT INTO DIM_GE
	VALUES (4540.000000,
	3294.000000,
	"ef0dd2d6-22d3-4faf-a07d-21de8bb191be",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("ef0dd2d6-22d3-4faf-a07d-21de8bb191be",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("6223cebe-b869-450c-a347-ae9d10350cdf",
	"ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	1,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"6223cebe-b869-450c-a347-ae9d10350cdf");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"6223cebe-b869-450c-a347-ae9d10350cdf",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("6223cebe-b869-450c-a347-ae9d10350cdf",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_LS
	VALUES ("a49f976c-cf42-46e9-b1eb-87468f8bca65",
	"ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	"00000000-0000-0000-0000-000000000000",
	"9ad4089b-df10-46b2-957d-801f3532fe26",
	"ab047952-0d1e-4434-a150-e6963cf9989d");
INSERT INTO DIM_WAY
	VALUES ("9ad4089b-df10-46b2-957d-801f3532fe26",
	4518.000000,
	3264.000000,
	"ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	"00000000-0000-0000-0000-000000000000",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_WAY
	VALUES ("ab047952-0d1e-4434-a150-e6963cf9989d",
	4518.000000,
	3347.000000,
	"ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	"00000000-0000-0000-0000-000000000000",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("ac8ecb94-ac8f-4b20-bb40-3410dfefb702",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ED
	VALUES ("e742cea3-ada7-4691-939c-ca359afe1088",
	"d4170de5-33dc-4e87-bfa1-b06f42d9e900",
	"ac8ecb94-ac8f-4b20-bb40-3410dfefb702");
INSERT INTO DIM_DIA
	VALUES ("78d17c19-d7ad-4b27-9d92-62905a59d323",
	'',
	1.000000,
	0.000000,
	0.000000,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_OBJ_PROXY
	VALUES ("00109784-3c75-4ab1-8d11-3e04474ce7e2",
	'Time',
	409,
	'TIMD',
	'"To define a data type that represents calendar-clock time, write:
    data type <data type name> is time 
        range is from <year-mon-day> (<hour:min:sec >) to <year-mon-day> 
            (<hour:min:sec >)
        precision is <smallest discriminated value> [ year | month | day | 
            hour | minute | second | millisec | microsec ]

The operations permitted using data types based on time and duration are:
    time := time ± duration
    duration := duration ± duration
    duration := duration * numeric
    duration := duration / numeric
    duration := time - time
    as well as the standard comparisons of < (read as "before"), >, ≤ , and ≥ . 
    Each such comparison yields a data element of base type boolean. 
    Comparisons are defined only between elements of the same base type."
    [OOAData]
',
	"00000000-0000-0000-0000-000000000000",
	'../Time.xtuml');
